(module
 (type $FUNCSIG$i (func (result i32)))
 (type $FUNCSIG$ii (func (param i32) (result i32)))
 (import "env" "cs_load" (func $cs_load (param i32) (result i32)))
 (import "env" "cs_peek" (func $cs_peek (result i32)))
 (import "env" "cs_push" (func $cs_push (param i32) (result i32)))
 (import "env" "cs_pushstring" (func $cs_pushstring (param i32) (result i32)))
 (table 0 anyfunc)
 (memory $0 1)
 (data (i32.const 16) "Enter some number: \00")
 (data (i32.const 48) " * 2 = \00")
 (export "memory" (memory $0))
 (export "main" (func $main))
 (func $main (; 4 ;) (result i32)
  (local $0 i32)
  (drop
   (call $cs_push
    (i32.const 19)
   )
  )
  (drop
   (call $cs_pushstring
    (i32.const 16)
   )
  )
  (drop
   (call $cs_load
    (i32.const 1)
   )
  )
  (drop
   (call $cs_load
    (i32.const 3)
   )
  )
  (set_local $0
   (call $cs_peek)
  )
  (drop
   (call $cs_load
    (i32.const 1)
   )
  )
  (drop
   (call $cs_push
    (i32.const 7)
   )
  )
  (drop
   (call $cs_pushstring
    (i32.const 48)
   )
  )
  (drop
   (call $cs_load
    (i32.const 1)
   )
  )
  (drop
   (call $cs_push
    (i32.shl
     (get_local $0)
     (i32.const 1)
    )
   )
  )
  (drop
   (call $cs_load
    (i32.const 1)
   )
  )
  (i32.const 0)
 )
)
